<html>
<head><meta charset="utf-8"><title>meeting 2021-02-23 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html">meeting 2021-02-23</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="227502030"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227502030" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227502030">(Feb 23 2021 at 20:58)</a>:</h4>
<p>Hi <span class="user-group-mention" data-user-group-id="692">@WG-traits</span></p>



<a name="227502039"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227502039" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227502039">(Feb 23 2021 at 20:58)</a>:</h4>
<p>Meeting in 2ish minutes</p>



<a name="227502472"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227502472" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227502472">(Feb 23 2021 at 21:01)</a>:</h4>
<p>So, last week, we talked a bit about the path to GAT stabilization, IIRC</p>



<a name="227502510"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227502510" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227502510">(Feb 23 2021 at 21:01)</a>:</h4>
<p>One of the things we discussed was going through and writing tests</p>



<a name="227502567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227502567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227502567">(Feb 23 2021 at 21:02)</a>:</h4>
<p>Well, I just finished going through the RFC and the existing tests and well...there are a good number of tests</p>



<a name="227502640"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227502640" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227502640">(Feb 23 2021 at 21:02)</a>:</h4>
<p>I did come up with a few tests that I think are missing</p>



<a name="227502657"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227502657" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227502657">(Feb 23 2021 at 21:02)</a>:</h4>
<p>But yeah, good test coverage is good news</p>



<a name="227502719"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227502719" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227502719">(Feb 23 2021 at 21:02)</a>:</h4>
<p>Definitely</p>



<a name="227502793"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227502793" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227502793">(Feb 23 2021 at 21:03)</a>:</h4>
<p>Also, <span class="user-mention" data-user-id="328097">@BN</span> has PR (<a href="https://github.com/rust-lang/rust/issues/82272">#82272</a>) open to fix some of the diagnostic issues</p>



<a name="227502871"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227502871" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227502871">(Feb 23 2021 at 21:04)</a>:</h4>
<p>that's great</p>



<a name="227502940"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227502940" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227502940">(Feb 23 2021 at 21:04)</a>:</h4>
<p>After that, the big thing is GATs in trait objects</p>



<a name="227502947"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227502947" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227502947">(Feb 23 2021 at 21:04)</a>:</h4>
<p><span class="user-mention" data-user-id="232957">@Jack Huey</span> and i had a good chat about binders</p>



<a name="227502965"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227502965" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227502965">(Feb 23 2021 at 21:04)</a>:</h4>
<p>Which <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> is working on</p>



<a name="227502977"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227502977" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227502977">(Feb 23 2021 at 21:04)</a>:</h4>
<p>though I realized afterwards I felt a bit unsure about the "action items" for me out coming out of that</p>



<a name="227503014"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503014" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503014">(Feb 23 2021 at 21:04)</a>:</h4>
<p>I think <span class="user-mention" data-user-id="232957">@Jack Huey</span> I might lke to setup a wg-traits project board</p>



<a name="227503044"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503044" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503044">(Feb 23 2021 at 21:04)</a>:</h4>
<p>but for now I'll stick with the hackmd</p>



<a name="227503046"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503046" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503046">(Feb 23 2021 at 21:04)</a>:</h4>
<p>(btw once GATs in trait objects works, I think we should remove the incomplete features warning)</p>



<a name="227503069"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503069" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503069">(Feb 23 2021 at 21:05)</a>:</h4>
<p>I'm wondering though if there items are in there</p>



<a name="227503096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503096">(Feb 23 2021 at 21:05)</a>:</h4>
<p><a href="https://hackmd.io/5kCE2T6sTDijhqMx8kaikw">the hackmd</a></p>



<a name="227503105"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503105" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503105">(Feb 23 2021 at 21:05)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116009">nikomatsakis</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-23/near/227503014">said</a>:</p>
<blockquote>
<p>I think <span class="user-mention silent" data-user-id="232957">Jack Huey</span> I might lke to setup a wg-traits project board</p>
</blockquote>
<p>might be a nice idea. Love seeing the WG 2229 checkins :)</p>



<a name="227503118"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503118" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503118">(Feb 23 2021 at 21:05)</a>:</h4>
<p>So organized</p>



<a name="227503123"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503123" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503123">(Feb 23 2021 at 21:05)</a>:</h4>
<p>I know!</p>



<a name="227503135"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503135" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503135">(Feb 23 2021 at 21:05)</a>:</h4>
<p>I admire <span class="user-mention" data-user-id="281950">@Aman Arora</span> :)</p>



<a name="227503143"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503143" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503143">(Feb 23 2021 at 21:05)</a>:</h4>
<p>Well, I'm working on the NLL bound region errors first, but then it's GAT trait objects</p>



<a name="227503245"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503245" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503245">(Feb 23 2021 at 21:06)</a>:</h4>
<p>I could potentially spend some time on that this weekend if you don't get to it</p>



<a name="227503249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503249">(Feb 23 2021 at 21:06)</a>:</h4>
<p>(btw I could actually use to take 30 minutes or so from this meeting, I've got some stuff I have to finish up here before Wednesday)</p>



<a name="227503288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503288">(Feb 23 2021 at 21:06)</a>:</h4>
<p>but a bit of mentoring notes would be nice, if you know what needs to be done</p>



<a name="227503314"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503314" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503314">(Feb 23 2021 at 21:06)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116118">Matthew Jasper</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-23/near/227503143">said</a>:</p>
<blockquote>
<p>Well, I'm working on the NLL bound region errors first, but then it's GAT trait objects</p>
</blockquote>
<p>is this <a href="https://github.com/rust-lang/rust/issues/81823">#81823</a>?</p>



<a name="227503316"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503316" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503316">(Feb 23 2021 at 21:06)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I think we can make this a short meeting</p>



<a name="227503373"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503373" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503373">(Feb 23 2021 at 21:07)</a>:</h4>
<p>for GATs, yes</p>



<a name="227503411"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503411" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503411">(Feb 23 2021 at 21:07)</a>:</h4>
<p>I plan to start in on the impl Trait RFC and other work items for me this week</p>



<a name="227503418"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503418" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503418">(Feb 23 2021 at 21:07)</a>:</h4>
<p>I didn't get to them last week</p>



<a name="227503442"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503442" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503442">(Feb 23 2021 at 21:07)</a>:</h4>
<p><span class="user-mention" data-user-id="124288">@oli</span> has been working on impl Trait slice 0</p>



<a name="227503463"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503463" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503463">(Feb 23 2021 at 21:07)</a>:</h4>
<p>I don't think he's online now though</p>



<a name="227503470"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503470" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503470">(Feb 23 2021 at 21:07)</a>:</h4>
<p>You did see the triage I did for that right?</p>



<a name="227503499"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503499" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503499">(Feb 23 2021 at 21:08)</a>:</h4>
<p>I think I did, yes, where's the link?</p>



<a name="227503540"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503540" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503540">(Feb 23 2021 at 21:08)</a>:</h4>
<p><a href="https://hackmd.io/W4khQJyIQdy_ezT9xUdgQg">https://hackmd.io/W4khQJyIQdy_ezT9xUdgQg#</a></p>



<a name="227503550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503550">(Feb 23 2021 at 21:08)</a>:</h4>
<p>I know <span class="user-mention" data-user-id="124288">@oli</span> did some of his own triage too :)</p>



<a name="227503567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503567">(Feb 23 2021 at 21:08)</a>:</h4>
<p>it's also under the WG traits group thing</p>



<a name="227503571"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503571" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503571">(Feb 23 2021 at 21:08)</a>:</h4>
<p>that reminds me, I was going to setup a doodle to see about rescheduling this meeting</p>



<a name="227503596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503596">(Feb 23 2021 at 21:08)</a>:</h4>
<p>Yes, I was going to ask about that</p>



<a name="227503618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503618">(Feb 23 2021 at 21:08)</a>:</h4>
<p>Also Niko, another ping on <a href="https://github.com/rust-lang/chalk/issues/683">chalk#683</a></p>



<a name="227503661"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503661" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503661">(Feb 23 2021 at 21:09)</a>:</h4>
<p>yes</p>



<a name="227503671"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503671" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503671">(Feb 23 2021 at 21:09)</a>:</h4>
<p>that reminds me</p>



<a name="227503672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503672">(Feb 23 2021 at 21:09)</a>:</h4>
<p>it's nto assigned to me</p>



<a name="227503681"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503681" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503681">(Feb 23 2021 at 21:09)</a>:</h4>
<p>which is partly why i overlook it</p>



<a name="227503684"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503684" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503684">(Feb 23 2021 at 21:09)</a>:</h4>
<p>let me fix that</p>



<a name="227503699"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503699" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503699">(Feb 23 2021 at 21:09)</a>:</h4>
<p>(done)</p>



<a name="227503849"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503849" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503849">(Feb 23 2021 at 21:10)</a>:</h4>
<p>Other than that, yes Niko and I looked over the binder refactor PR</p>



<a name="227503856"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503856" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503856">(Feb 23 2021 at 21:10)</a>:</h4>
<p>btw</p>



<a name="227503873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503873">(Feb 23 2021 at 21:10)</a>:</h4>
<p>I rebased it onto master and queued a crater run</p>



<a name="227503906"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503906" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503906">(Feb 23 2021 at 21:11)</a>:</h4>
<p>not sure if you all have seen the <a href="https://nikomatsakis.github.io/wg-async-foundations/vision.html">async vision doc</a> but at some point I want to do this for us too :)</p>



<a name="227503925"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503925" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503925">(Feb 23 2021 at 21:11)</a>:</h4>
<p>but that's a bit further down the road</p>



<a name="227503934"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503934" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503934">(Feb 23 2021 at 21:11)</a>:</h4>
<p>gotta iron out the process here first :)</p>



<a name="227503981"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503981" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503981">(Feb 23 2021 at 21:11)</a>:</h4>
<p>I hadn't seen that doc</p>



<a name="227503991"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227503991" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227503991">(Feb 23 2021 at 21:11)</a>:</h4>
<p>ooh fancy</p>



<a name="227504022"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504022" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504022">(Feb 23 2021 at 21:12)</a>:</h4>
<p>I <span aria-label="hearts" class="emoji emoji-2665" role="img" title="hearts">:hearts:</span> the emojis too</p>



<a name="227504027"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504027" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504027">(Feb 23 2021 at 21:12)</a>:</h4>
<p>Great emoji game.</p>



<a name="227504113"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504113" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504113">(Feb 23 2021 at 21:12)</a>:</h4>
<p>my daughter helped me to pick them out</p>



<a name="227504124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504124">(Feb 23 2021 at 21:12)</a>:</h4>
<p>"daddy daughter quality time"</p>



<a name="227504151"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504151" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504151">(Feb 23 2021 at 21:12)</a>:</h4>
<p>she was like "you're on emojipedia? dad, that's my life"</p>



<a name="227504162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504162">(Feb 23 2021 at 21:12)</a>:</h4>
<p>My vision for the next couple years: Chalk in rustc by 2024 (or whenever the edition after 2021 is)</p>



<a name="227504236"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504236" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504236">(Feb 23 2021 at 21:13)</a>:</h4>
<p>TIL about emojipedia</p>



<a name="227504305"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504305" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504305">(Feb 23 2021 at 21:13)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-23/near/227504162">said</a>:</p>
<blockquote>
<p>My vision for the next couple years: Chalk in rustc by 2024 (or whenever the edition after 2021 is)</p>
</blockquote>
<p>yeah so i think if we did this for us...</p>



<a name="227504307"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504307" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504307">(Feb 23 2021 at 21:13)</a>:</h4>
<p>Also for those who don't know, on Windows you can do <code>Win + .</code> to get a emoji list thing</p>



<a name="227504357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504357">(Feb 23 2021 at 21:14)</a>:</h4>
<p>...one of the characters would be a rustc developer, etc</p>



<a name="227504382"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504382" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504382">(Feb 23 2021 at 21:14)</a>:</h4>
<p>though it'd also be rust users</p>



<a name="227504459"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504459" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504459">(Feb 23 2021 at 21:14)</a>:</h4>
<p>anyway, I guess the question is, do we all have work items for the next week?</p>



<a name="227504465"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504465" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504465">(Feb 23 2021 at 21:14)</a>:</h4>
<p>I know I do =)</p>



<a name="227504582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504582">(Feb 23 2021 at 21:15)</a>:</h4>
<p>Well, I'm going to go back and try to sketch out/think more how late-bound lifetimes work with regards to HRTBs and associated type bounds</p>



<a name="227504596"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504596" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504596">(Feb 23 2021 at 21:15)</a>:</h4>
<p>take a step back from impl details</p>



<a name="227504647"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504647" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504647">(Feb 23 2021 at 21:16)</a>:</h4>
<p>Maybe discuss with <span class="user-mention" data-user-id="116266">@Santiago Pastorino</span> if they're available ;)</p>



<a name="227504711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504711">(Feb 23 2021 at 21:16)</a>:</h4>
<p>Also, probably going to make a PR to add issues for the <code>E-needs-test</code> ones and maybe some new ones for GATs</p>



<a name="227504849"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504849" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504849">(Feb 23 2021 at 21:17)</a>:</h4>
<p>I'm around :)</p>



<a name="227504966"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504966" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504966">(Feb 23 2021 at 21:18)</a>:</h4>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-23/near/227504849">said</a>:</p>
<blockquote>
<p>I'm around :)</p>
</blockquote>
<p>Let's chat at some point :)</p>



<a name="227504975"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504975" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504975">(Feb 23 2021 at 21:18)</a>:</h4>
<p>unsure what I need to discuss, sorry, I wasn't following</p>



<a name="227504989"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227504989" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227504989">(Feb 23 2021 at 21:18)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-23/near/227504966">said</a>:</p>
<blockquote>
<p><span class="user-mention silent" data-user-id="116266">Santiago Pastorino</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-23/near/227504849">said</a>:</p>
<blockquote>
<p>I'm around :)</p>
</blockquote>
<p>Let's chat at some point :)</p>
</blockquote>
<p>yes <span aria-label="+1" class="emoji emoji-1f44d" role="img" title="+1">:+1:</span></p>



<a name="227505000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227505000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Santiago Pastorino <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227505000">(Feb 23 2021 at 21:18)</a>:</h4>
<p>I owe things ;)</p>



<a name="227505077"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227505077" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227505077">(Feb 23 2021 at 21:19)</a>:</h4>
<p>I feel like things are a bit stalled w.r.t. Chalk things too. Should probably figure out next steps there</p>



<a name="227505106"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227505106" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227505106">(Feb 23 2021 at 21:19)</a>:</h4>
<p>And if anything <em>isn't</em> blocked on rustc work</p>



<a name="227505320"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227505320" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227505320">(Feb 23 2021 at 21:20)</a>:</h4>
<p>But anyways, unless anyone else has exciting updates, we can probably end the meeting</p>



<a name="227505341"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227505341" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227505341">(Feb 23 2021 at 21:21)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-23/near/227505077">said</a>:</p>
<blockquote>
<p>I feel like things are a bit stalled w.r.t. Chalk things too. Should probably figure out next steps there</p>
</blockquote>
<p>yeah</p>



<a name="227505375"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227505375" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227505375">(Feb 23 2021 at 21:21)</a>:</h4>
<p>I'm up to end for now, but I would love to be putting in some more time into unblocking chalk and things</p>



<a name="227505390"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227505390" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227505390">(Feb 23 2021 at 21:21)</a>:</h4>
<p>I definitely see it becoming increasing imp't from a few angles</p>



<a name="227505438"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227505438" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227505438">(Feb 23 2021 at 21:21)</a>:</h4>
<p>Niko, I just want to see the Param refactor work get finished from you &lt;3</p>



<a name="227505688"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227505688" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227505688">(Feb 23 2021 at 21:23)</a>:</h4>
<p>Also, if anyone is interested, I did post a list of rustc test panics with <code>-Z chalk</code> <a href="#narrow/stream/144729-wg-traits/topic/rustc.20test.20suite.20triage/near/221363719">here</a></p>



<a name="227505715"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227505715" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227505715">(Feb 23 2021 at 21:23)</a>:</h4>
<p>Which some are prime candidates for potential bug fixes</p>



<a name="227505851"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227505851" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> detrumi <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227505851">(Feb 23 2021 at 21:24)</a>:</h4>
<p>Ooh, good idea</p>



<a name="227505873"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227505873" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227505873">(Feb 23 2021 at 21:24)</a>:</h4>
<p>I had a branch that made universes work with canonicalization that I should get to.</p>



<a name="227505997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227505997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227505997">(Feb 23 2021 at 21:25)</a>:</h4>
<p>That's mostly for test failures though</p>



<a name="227506296"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227506296" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227506296">(Feb 23 2021 at 21:27)</a>:</h4>
<p>Did that not get fixed already?</p>



<a name="227506407"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227506407" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227506407">(Feb 23 2021 at 21:28)</a>:</h4>
<p>Anyways, thanks everyone for attending</p>



<a name="227506492"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227506492" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Matthew Jasper <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227506492">(Feb 23 2021 at 21:29)</a>:</h4>
<p>The performance issue was. I think that there are some test faillures still because the fix wasn't really correct.</p>



<a name="227506545"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227506545" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227506545">(Feb 23 2021 at 21:29)</a>:</h4>
<p>oops</p>



<a name="227532249"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227532249" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227532249">(Feb 24 2021 at 01:03)</a>:</h4>
<p><span class="user-mention silent" data-user-id="232957">Jack Huey</span> <a href="#narrow/stream/144729-wg-traits/topic/meeting.202021-02-23/near/227505438">said</a>:</p>
<blockquote>
<p>Niko, I just want to see the Param refactor work get finished from you &lt;3</p>
</blockquote>
<p>heh oh <em>yes</em></p>



<a name="227532534"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227532534" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227532534">(Feb 24 2021 at 01:06)</a>:</h4>
<p>On a related note, I wonder if we should just add <code>ReEarlyBound</code> to chalk</p>



<a name="227532674"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227532674" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227532674">(Feb 24 2021 at 01:08)</a>:</h4>
<p>Bleh idk. The question is how likely (and if so, how <em>soon</em>) things could be changed in rustc</p>



<a name="227532680"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227532680" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227532680">(Feb 24 2021 at 01:08)</a>:</h4>
<p>vs changing Chalk</p>



<a name="227532818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/meeting%202021-02-23/near/227532818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Jack Huey <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/meeting.202021-02-23.html#227532818">(Feb 24 2021 at 01:10)</a>:</h4>
<p>(because thinking about things like the <code>late_bound_lifetime_arguments</code> lint; merging late/early bound regions makes this weird, at least inconsistent)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>